$PGL_2(\mathbb{F}_q)$ の特徴付けとZassenhaus の定理
本稿では、素数の冪 $q$ に対して、対称群 $S_{q+1}$ の部分群 $G$ が射影一般線形群 $PGL_2(\mathbb{F}_q)$ と同型となるための必要十分条件、およびシンプルで証明が易しい十分条件について解説します。また、奇素数の偶数乗の場合に現れる Zassenhaus の例外群 $M(q)$ の定義と性質、そして有限群論における金字塔の一つである Zassenhaus の定理 (1936) について詳細に議論します。この内容は一連のチャットにおける対話を余すところなく収録し、数学的な詳細を補って自己完結的な解説としてまとめたものです。
1. 基礎概念の定義と具体例
定理とその証明に進む前に、議論の基礎となる群作用や群の構造に関する基本的な概念を定義しておきます。
定義 1.1 (推移性と鋭 $k$-重推移性)
有限集合 $X$ に作用する群 $G$ が以下の条件を満たすとき、$G$ は $X$ 上で $k$-重推移的 (k-transitive) であるといいます：
任意の相異なる $k$ 個の元の組 $(x_1, \dots, x_k)$ と、別の任意の相異なる $k$ 個の元の組 $(y_1, \dots, y_k)$ に対して、ある $g \in G$ が存在してすべての $i=1, \dots, k$ について $g \cdot x_i = y_i$ が成り立つ。
さらに、そのような $g \in G$ が ただ1つ しか存在しないとき、$G$ は 鋭 $k$-重推移的 (sharply k-transitive) であるといいます。これは、$k$-重推移的であり、かつ $k$ 個の点をすべて固定する元が単位元のみであることと同値です。
定義 1.2 ($PGL_2(\mathbb{F}_q)$ と射影直線への作用)
$\mathbb{F}_q$ を要素数 $q = p^f$ ($p$ は素数、$f \ge 1$) の有限体とします。一般線形群 $GL_2(\mathbb{F}_q)$ は、行列式が $0$ でない $2 \times 2$ 行列のなす群です。その中心 $Z(GL_2(\mathbb{F}_q))$ は非零のスカラー行列からなります。射影一般線形群 (Projective General Linear Group) は以下のように定義されます：
$$PGL_2(\mathbb{F}_q) = GL_2(\mathbb{F}_q) / Z(GL_2(\mathbb{F}_q))$$
$PGL_2(\mathbb{F}_q)$ は、サイズ $q+1$ の射影直線 $\mathbb{P}^1(\mathbb{F}_q) = \mathbb{F}_q \cup \{\infty\}$ に対して、以下のような一次分数変換として自然に作用します：
$$ z \mapsto \frac{az+b}{cz+d}, \quad \text{ただし} \quad ad-bc \neq 0 $$
(ここで、分母が $0$ になる $z$ は $\infty$ に移り、$\infty$ は $a/c$ に移ります。)
例 1.3 ($PGL_2(\mathbb{F}_q)$ の推移性)
$PGL_2(\mathbb{F}_q)$ が $\mathbb{P}^1(\mathbb{F}_q)$ 上で鋭3重推移的であることを確かめるのは容易です。一次分数変換 $z \mapsto \frac{az+b}{cz+d}$ は、任意の相異なる3点（例えば $0, 1, \infty$）の行き先を指定することで係数 $a, b, c, d$ の比がただ一つに定まります。したがって、$PGL_2(\mathbb{F}_q)$ は $q+1$ 個の文字上の鋭3重推移群の代表例です。
2. $PGL_2(\mathbb{F}_q)$ の部分群としてのシンプルな特徴付け
群 $G \le S_{q+1}$ が $PGL_2(\mathbb{F}_q)$ と同型となる条件を考えます。当初、「$G$ が鋭3重推移的である」という条件が必要十分条件として挙げられましたが、これには 奇素数の偶数乗 $q = p^{2k}$ の場合に現れる Zassenhaus の例外群 $M(q)$ (Twisted $PGL_2$) が含まれてしまうという見落としがありました。($M(q)$ については第3節で詳述します。)
この例外群を正確に排除し、純粋に $PGL_2(\mathbb{F}_q)$ だけを特徴付けるための正しい条件を提示します。
2.1 シンプルな必要十分条件
定理 2.1 (必要十分条件)
$q$ を素数冪とする。置換群 $G \le S_{q+1}$ が $\mathbb{P}^1(\mathbb{F}_q)$ への自然な作用を持つ $PGL_2(\mathbb{F}_q)$ と置換同型であるための必要十分条件は以下の通りである：
「$G$ が $q+1$ 個の文字上で鋭3重推移的であり、かつ 2点安定化群 がアーベル群（または巡回群）であること」
解説:
$PGL_2(\mathbb{F}_q)$ において、2点（例えば $0$ と $\infty$）を固定する変換は $z \mapsto \frac{az+0}{0z+d} = (a/d)z$ の形をしています。$a/d$ は $\mathbb{F}_q^\times$ の元をすべて動くため、この2点安定化群は乗法群 $\mathbb{F}_q^\times$ と同型な位数 $q-1$ の巡回群（したがってアーベル群）となります。
一方、例外群 $M(q)$ では、2点を固定する部分群が非可換になります。したがって、「2点安定化群がアーベル群である」というただ一言の条件を加えることで、Zassenhaus の定理の強力な結果から例外 $M(q)$ を鮮やかに切り捨てることが可能となります。
2.2 シンプルで証明が易しい十分条件
Zassenhaus の定理（後述）は高度な道具を要するため、それらをブラックボックスとして使わずに初等的な群論（学部レベル）だけで同型を証明できる十分条件としては、以下が最適です。
定理 2.2 (初等的に証明可能な十分条件)
$q$ を素数冪とする。置換群 $G \le S_{q+1}$ について、以下の条件が成り立つならば、$G \cong PGL_2(\mathbb{F}_q)$ である：
「$G$ が $q+1$ 個の文字上で3重推移的であり、かつ 2点安定化群が位数 $q-1$ の巡回群であること」
定理 2.2 の初等的な証明の概要
この条件から出発すれば、例外群 $M(q)$ は2点安定化群が非可換であるため最初から排除されます。また、大定理に頼らず手計算で群の構造を構築できます。作用する集合を $X$とし、$|X| = q+1$ とします。
- 2重推移性と位数の計算:
$G$ は $X$ 上で3重推移的であるため、ある1点 $\infty \in X$ を固定する群 $G_\infty$ は、残りの $q$ 点 $X \setminus \{\infty\}$ 上で2重推移的に作用します。別の点 $0 \in X \setminus \{\infty\}$ を取ります。仮定より、2点安定化群 $G_{\infty, 0}$ は位数 $q-1$ の巡回群です。3重推移性より、$G_\infty$ の位数は $|X \setminus \{\infty\}| \times |G_{\infty, 0}| = q(q-1)$ となります。
- フロベニウス群の性質の適用:
$G_{\infty, 0}$ は残りの $q-1$ 点に対して固定点を持たず、推移的に作用します（すなわち正則作用）。これは $G_\infty$ が $G_{\infty, 0}$ をフロベニウス補群とするフロベニウス群 (Frobenius group) であることを意味します。フロベニウスの定理（あるいは $G_\infty$ が2重推移的であることから Burnside の定理などのより初等的な結果）により、$G_\infty$ は位数 $q$ の正規部分群 $N$ （フロベニウス核）を持ちます。
- 1点安定化群 $G_\infty$ の構造決定:
$N$ は位数 $q = p^f$ の正規部分群であり、位数 $q-1$ の巡回群による固定点のない自己同型作用を持ちます。有限群の基本定理より、このような $N$ は基本アーベル群（素体上のベクトル空間）と同型でなければなりません。すなわち $N \cong (\mathbb{F}_q, +)$ です。
したがって、$G_\infty = N \rtimes G_{\infty, 0}$ は体 $\mathbb{F}_q$ 上の一次変換群 $AGL_1(\mathbb{F}_q) = \{ z \mapsto az+b \mid a \in \mathbb{F}_q^\times, b \in \mathbb{F}_q \}$ と完全に同型になります。
- 全体の群構造 (Bruhat 分解) の復元:
$G$ は $G_\infty$ と、$\infty$ と $0$ を入れ替える位数2の元 $w \in G$ によって生成されます（3重推移性によりそのような元の存在は保証されます）。$w$ は作用において $z \mapsto -1/z$ の役割を果たします。
$G_{\infty}$ の元（特に $z \mapsto az$ に相当する巡回群の元）と $w$ との間の交換関係 $w h w^{-1}$ を調べます。$G_{\infty, 0}$ の生成元に対する作用などの関係式が初等的な計算により一意に定まり、その結果として $G$ の表示が $PGL_2(\mathbb{F}_q)$ の Bruhat 分解 (Bruhat decomposition) と完全に一致することが手計算で導かれます。
以上により、高度な幾何学的・代数的な大定理を使わずに $G \cong PGL_2(\mathbb{F}_q)$ が証明されます。$\square$
3. 例外群 $M(q)$ の定義と性質
チャットの対話の中で、鋭3重推移的な群の例外として登場した $M(q)$ (Twisted $PGL_2$) について詳しく解説します。これは $PGL_2(\mathbb{F}_q)$ の変換ルールの半分を「体の自己同型」を使って捻った（twistした）群です。
3.1 前提となる体の性質
$q$ を奇素数 $p$ の偶数乗とします。すなわち $q = p^{2k}$ ($k \ge 1$) です。このとき、有限体 $\mathbb{F}_q$ には以下の性質があります。
- 位数2の自己同型写像: フロベニウス自己同型 $x \mapsto x^p$ の $k$ 乗である $\sigma(x) = x^{p^k}$ は、$\mathbb{F}_q$ の位数2の自己同型をなします。なぜなら、$\sigma^2(x) = (x^{p^k})^{p^k} = x^{p^{2k}} = x^q = x$ だからです。
- 平方元と非平方元: 乗法群 $\mathbb{F}_q^\times$ は位数 $q-1$ の巡回群です。$q$ は奇数なので $q-1$ は偶数です。したがって、$\mathbb{F}_q^\times$ はある元の2乗として書ける「平方元 (Squares, $S$)」と、そうでない「非平方元 (Non-squares, $N$)」にちょうど半分ずつ分かれます。
3.2 $M(q)$ の具体的な定義
定義 3.1 (Zassenhaus の例外群 $M(q)$)
$M(q)$ は、射影直線 $\mathbb{P}^1(\mathbb{F}_q)$ 上で作用する置換群です。行列 $A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in GL_2(\mathbb{F}_q)$ の行列式を $\Delta = ad - bc \neq 0$ とします。
$M(q)$ の各要素は、$\Delta$ が平方元か非平方元かによって、以下の2種類の変換のいずれかとして定義されます：
- $\Delta$ が平方元 ($S$) の場合（通常の一次分数変換）:
$$ z \mapsto \frac{az+b}{cz+d} $$
- $\Delta$ が非平方元 ($N$) の場合（$\sigma$ で捻った変換）:
$$ z \mapsto \frac{a z^\sigma + b}{c z^\sigma + d} = \frac{a z^{p^k} + b}{c z^{p^k} + d} $$
（※ $\infty$ の扱いは通常の一次分数変換と同様であり、$\infty^\sigma = \infty$ と定義します。）
これらすべての変換の集合が群 $M(q)$ をなします。
3.3 なぜ $M(q)$ は群をなすのか？
「捻った変換と通常の変換を混ぜて、本当に演算が閉じた群になるのか？」という疑問が生じるかもしれません。これは、平方元・非平方元の乗法的な性質と、自己同型 $\sigma$ の性質が見事に噛み合っているためです。
写像を合成したときの行列式の振る舞いを考えます：
- $S \times S = S$ (平方元同士): 行列式は平方元となり、捻りは発生しません。これは通常の $PSL_2(\mathbb{F}_q)$ と全く同じ部分群を形成します。
- $S \times N = N$ または $N \times S = N$: 合成変換の行列式は非平方元になります。自己同型 $\sigma$ は平方元・非平方元の判定を変えません（$\sigma(x)$ は元の $p^k$ 乗であり、$p^k$ は奇数なので平方性のパリティを保ちます）。結果として、全体に1回の捻り $\sigma$ が残ります。
- $N \times N = S$ (非平方元同士): 行列式は平方元になります。同時に、各変換に含まれる捻り $\sigma$ が2回合成されますが、$\sigma^2 = \mathrm{id}$ (恒等写像) となるため捻りが相殺され、完全に通常の一次分数変換に戻ります。
このようにして演算が完全に閉じ、$PGL_2(\mathbb{F}_q)$ と全く同じ位数 $q(q^2-1)$ を持ちながら、非可換な捻りが加わっているために $PGL_2(\mathbb{F}_q)$ とは同型にならない、美しい例外群が構成されます。
3.4 $M(q)$ の2点安定化群が非可換である理由
前節の定理 2.1 で述べた通り、$M(q)$ の2点安定化群は非可換になります。具体的に計算してみましょう。
$\infty$ と $0$ を固定する変換は、対角行列に対応します。
- 行列式が平方元 $a \in S$ の場合：$f_a(z) = az$
- 行列式が非平方元 $b \in N$ の場合：$g_b(z) = bz^\sigma$
これら2つの元の積（合成）を計算すると、
$$ (g_b \circ f_a)(z) = g_b(az) = b (az)^\sigma = b a^\sigma z^\sigma $$
$$ (f_a \circ g_b)(z) = f_a(bz^\sigma) = a b z^\sigma $$
となります。自己同型 $\sigma$ は $\mathbb{F}_q$ 全体では恒等写像ではないため、一般に $a^\sigma \neq a$ となる平方元 $a$ が存在します。したがって $g_b \circ f_a \neq f_a \circ g_b$ となり、2点安定化群は非可換群となります。最小の例は $q = 3^2 = 9$ のときの $M(9)$ です。
4. Zassenhaus の定理 (1936)
この議論の背景にある最も重要な結果が、Hans Zassenhaus が 1935–1936 年の論文で証明した「鋭3重推移的群の分類定理」です。これは20世紀前半の有限群論における金字塔の一つとされています。
定理 4.1 (Zassenhaus, 1936)
要素数 $n \ge 4$ の有限集合 $X$ 上に作用する有限群 $G$ が
鋭3重推移的 であるとする。
このとき、$n = q + 1$ （$q$ はある素数の冪）であり、置換群 $(G, X)$ は以下のいずれかの射影直線 $\mathbb{P}^1(\mathbb{F}_q)$ 上の自然な作用と置換同型である：
- $PGL_2(\mathbb{F}_q)$ （$q$ は任意の素数冪）
- $M(q)$ （$q$ は奇素数の偶数乗 $p^{2k}$ であり、捻られた例外群）
4.1 証明はどれくらい大変か？
結論から言うと、この定理の証明は 非常に大変（現代の標準的な群論の教科書でも数章〜数十ページを費やすレベル） です。単に群の構造を調べるだけでなく、「置換群の幾何学的・局所的な情報から、根底にある代数幾何的な構造（有限体と射影空間）をゼロから再構築する」というアクロバティックな証明を行います。
証明における主要な困難さとステップは以下の通りです：
- 指標理論（フロベニウスの定理）のブラックボックスが必要:
$G$ が $X$ 上で鋭3重推移的であるなら、1点安定化群 $G_x$ は残りの $n-1$ 点上で「鋭2重推移的」になります。この $G_x$ はフロベニウス群となりますが、フロベニウス群が「正則正規部分群（フロベニウス核）」を持つことを証明するには、複素指標理論 (Frobenius の定理, 1901年) という強力な表現論の道具が不可欠です。純粋な群論的証明はいまだに知られていません。
- 「近体 (Near-field)」という未知の代数系の構成と分類:
Zassenhaus は、鋭2重推移群 $G_x$ の性質を用いて、点の集合の上に足し算と掛け算を定義しました。しかし、この段階では群の性質が弱いため、掛け算の分配法則が片側しか成り立たない 「近体 (Fastkörper / Near-field)」 という歪んだ代数系になってしまいます。Zassenhaus はこの論文の中で、有限近体を完全に分類するという別の巨大な偉業も同時に成し遂げました。
- 3点目の作用による「体」への昇格:
近体の時点では無数の可能性（Dickson 近体や7つの例外）がありましたが、$G$ は鋭3重推移的です。Zassenhaus は、残りの1点 $\infty$ を動かす位数2の対合 (インボリューション、$z \mapsto -1/z$ に相当) と近体の要素との交換関係を極めて精緻に計算しました。この3重推移性という強力な条件を方程式に代入して解析することで、近体の掛け算が実は可換かつ結合的でなければならない（すなわち真の有限体 $\mathbb{F}_q$ である）ことを導き出しました。さらに、$\infty$ を動かす操作から例外 $M(q)$ が自然に湧き出てきます。
この定理の証明の哲学は、「局所的な部分群の構造から大域的な幾何学・代数を決定する」というものであり、後の有限単純群の分類（特に Lie 型の群の特徴付け）の青写真となった歴史的な業績です。
参考文献